Issue2642.agda:5,5-6,6
Duplicate fields F in record
when scope checking the declaration
  record R where
    field F : Set
    field F : Set
